Isomorphism Types of Infinite Algebras

On Isomorphism of Simplicial Complexes and Their Related Algebras

Isomorphism Types of Trees1

Isomorphism of "Functional" Intersection Types

Type isomorphism for intersection types is quite odd, since it is not a congruence and it does not extend type equality in the standard interpretation of types. The lack of congruence is due to the proof theoretic nature of the intersection introduction rule, which requires the same term to be the subject of both premises. A partial congruence can be recovered by introducing a suitable notion o...

Isomorphism Types of Commutative Algebras of Finite Rank over an Algebraically Closed Field

Let k be an algebraically closed field. We list the finitely many isomorphism types of rank n commutative k-algebras for n ≤ 6. There are infinitely many types for each n ≥ 7. All algebras are assumed to be commutative, associative, and with 1 (except briefly in Remark 1.1). We assume that k is an algebraically closed field, except in Section 2. By the rank of a k-algebra, we mean its dimension...

March 4, 2010 ISOMORPHISM TYPES OF BOOLEAN ALGEBRAS IN THE BACK-AND-FORTH HIERARCHY

We investigate the back-and-forth types which isomorphism types. The main result is that the indecomposable isomorphism types which arise at the finite levels of the back-and-forth hierarchy are the same the finitary isomorphism types in Heindorff.